This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suiteGenetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan’s Center ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Lire la suiteIntroduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Lire la suiteHeterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held ...
Lire la suiteThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lire la suiteHypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...
Lire la suiteThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lire la suiteThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE ...
Lire la suiteThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite